$\vdash$  (ff = tt) $\vee$ ($\neg$(ff = tt))